From: Julien Grall Date: Tue, 13 Jun 2017 16:13:06 +0000 (+0100) Subject: xen/arm: mm: Clean-up mfn_to_xen_entry X-Git-Tag: archive/raspbian/4.11.1-1+rpi1~1^2~66^2~1996 X-Git-Url: https://dgit.raspbian.org/%22http:/www.example.com/cgi/%22https:/%22bookmarks:/%22man:///%22http:/www.example.com/cgi/%22https:/%22bookmarks:/%22man:/?a=commitdiff_plain;h=7ddc55f2e3ecab095a99221971b56e1fbf85d803;p=xen.git xen/arm: mm: Clean-up mfn_to_xen_entry The physical address is computed from the machine frame number, so checking if the physical address is page aligned is pointless. Furthermore, directly assigned the MFN to the corresponding field in the entry rather than converting to a physical address and orring the value. It will avoid to rely on the field position and make the code clearer. Signed-off-by: Julien Grall Reviewed-by: Stefano Stabellini --- diff --git a/xen/arch/arm/mm.c b/xen/arch/arm/mm.c index 6f63e4315a..d164ed2eda 100644 --- a/xen/arch/arm/mm.c +++ b/xen/arch/arm/mm.c @@ -261,7 +261,6 @@ void dump_hyp_walk(vaddr_t addr) */ static inline lpae_t mfn_to_xen_entry(unsigned long mfn, unsigned attr) { - paddr_t pa = ((paddr_t) mfn) << PAGE_SHIFT; lpae_t e = (lpae_t) { .pt = { .valid = 1, /* Mappings are present */ @@ -316,11 +315,9 @@ static inline lpae_t mfn_to_xen_entry(unsigned long mfn, unsigned attr) break; } - ASSERT(!(pa & ~PAGE_MASK)); - ASSERT(!(pa & ~PADDR_MASK)); + ASSERT(!(pfn_to_paddr(mfn) & ~PADDR_MASK)); - /* XXX shifts */ - e.bits |= pa; + e.pt.base = mfn; return e; }